Automorphisms of an Orthomodular Poset of Projections
نویسنده
چکیده
By using a lattice characterization of continuous projections defined on a topological vector space E arising from a dual pair, we determine the automorphism group of their orthomodular poset Proj(E) by means of automorphisms and anti-automorphisms of the lattice L of all closed subspaces of E. A connection between the automorphism group of the ring of all continuous linear mappings defined on E and the automorphism group of the orthoposet Proj(E) is established.
منابع مشابه
The Logic of Bundles
Since the work of Crown [5] in the 1970’s, it has been known that the projections of a finite-dimensional vector bundle E form an orthomodular poset (omp) P(E). This result lies in the intersection of a number of current topics, including the categorical quantum mechanics of Abramsky and Coecke [1], and the approach via decompositions of Harding [6]. Moreover, it provides a source of omps for t...
متن کاملLocal Automorphisms of Some Quantum Mechanical Structures
Let H be a separable infinite dimensional complex Hilbert space. We prove that every continuous 2-local automorphism of the poset (that is, partially ordered set) of all idempotents on H is an automorphism. Similar results concerning the orthomodular poset of all projections and the Jordan ring of all selfadjoint operators on H without the assumption on continuity are also presented. Date: Febr...
متن کاملSubalgebras of Orthomodular Lattices
Sachs (Can J Math 14:451–460, 1962) showed that a Boolean algebra is determined by its lattice of subalgebras. We establish the corresponding result for orthomodular lattices. We show that an orthomodular lattice L is determined by its lattice of subalgebras Sub(L), as well as by its poset of Boolean subalgebras BSub(L). The domain BSub(L) has recently found use in an approach to the foundation...
متن کاملOrthomodularity of Decompositions in a Categorical Setting
We provide a method to construct a type of orthomodular structure known as an orthoalgebra from the direct product decompositions of an object in a category that has finite products and whose ternary product diagrams give rise to certain pushouts. This generalizes a method to construct an orthomodular poset from the direct product decompositions of familiar mathematical structures such as non-e...
متن کاملAn Anhomomorphic Logic for Quantum Mechanics
Although various schemes for anhomomorphic logics for quantum mechanics have been considered in the past we shall mainly concentrate on the quadratic or grade-2 scheme. In this scheme, the grade-2 truth functions are called coevents. We discuss properties of coevents, projections on the space of coevents and the master observable. We show that the set of projections forms an orthomodular poset....
متن کامل